繁體版 English
登录 注册

computability logic中文是什么意思

发音:  
用"computability logic"造句"computability logic"怎么读"computability logic" in a sentence

中文翻译手机手机版

  • 可计算性逻辑

百科解释

Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".
详细百科解释
computability logic的中文翻译,computability logic是什么意思,怎么用汉语翻译computability logic,computability logic的中文意思,computability logic的中文computability logic in Chinesecomputability logic的中文computability logic怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。